Antonov K. V., Semenov A. A. «Application of sat oracles for generation of additional linear constraints in cryptanalysis of some lightweight ciphers» // Applied Discrete Mathematics. Supplement 2020. №13 C.114-119
Sofronova D.A., Kalgin K.V. «A Compact translator of algorithms into boolean formulas for use in cryptanalysis» // Applied Discrete Mathematics. Supplement 2020. №13 C.135-136
